Biodiversity Created by Behavioral Tactics

Playing Creative Soccer: Randomized Behavioral Kinodynamic Planning of Robot Tactics

Modern robot soccer control architectures tend to separate higher level tactics and lower level navigation control. This can lead to tactics which do not fully utilize the robot’s dynamic actuation abilities. It can furthermore create the problem of the navigational code breaking the constraints of the higher level tactical goals when avoiding obstacles. We aim to improve such control architect...

Reformulating Resolution Problems by Tactics

A straightforward formulation of a mathematical problem is mostly not adequate for resolution theorem proving. We present a method to optimize such formulations by exploiting the variability of rst-order logic. The optimizing transformation is described as logic morphisms, whose operationalizations are tactics. The diierent behaviour of a resolution theorem prover for the source and target form...

Complex networks created by aggregation.

We study aggregation as a mechanism for the creation of complex networks. In this evolution process vertices merge together, which increases a number of highly connected hubs. We study a range of complex network architectures produced by the aggregation. Fat-tailed (in particular, scale-free) distributions of connections are obtained for both networks with a finite number of vertices and growin...

Metafol: Program Tactics and Logic Tactics plus Reflection Metafol: Program Tactics and Logic Tactics plus Reeection

universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Abstract The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a ...

Pest suppression by ant biodiversity is modified by pest biodiversity